Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
131	BRICS Basic Research in Computer Science BRICS RSFridlender & Indrika: Do we Need Dependent Types? Do we Need Dependent Types? Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-03-27 17:26:58 Higher-order functions Functional programming Lambda calculus Type theory Map Haskell AS3 Type system Generic programming Computing Software engineering Declarative programming
132	On the periods of some graph transformations A. M. Odlyzko AT&T Bell Laboratories Murray Hill, NJD. J. Randall AT&T Bell Laboratories Add to Reading List Source URL: www.dtc.umn.edu Language: English - Date: 1998-04-13 22:13:34 Lambda calculus Logic in computer science Holomorphic functional calculus Itō diffusion Mathematical analysis Mathematics Combinatory logic
133	Jordan Journal of Mathematics and Statistics (JJMS) 7(1), 2014, ppBAER GAMMA RINGS WITH INVOLUTIONS A.C. PAUL (1) Add to Reading List Source URL: journals.yu.edu.jo Language: English - Date: 2014-04-16 05:35:42 Baer ring Ring theory Idempotence Sheaf Involution Orbifold Holomorphic functional calculus Abstract algebra Algebra Mathematics
134	Positive doubly periodic solutions of telegraph equations with delays Add to Reading List Source URL: www.boundaryvalueproblems.com Language: English Functional analysis Fourier analysis Ordinary differential equations Generalized functions Wave equation Distribution Convolution Sturm–Liouville theory Heat equation Mathematical analysis Mathematics Calculus
135	MFPSExploratory functions on nondeterministic strategies, up to lower bisimilarity ? Paul Blain Levy1 Kidane Yemane Weldemariam2 University of Birmingham, Birmingham, B15 2TT, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-05-18 06:36:21 Deduction Entailment Logical consequence Logical syntax Metalogic Valuation Lambda calculus Natural deduction Holomorphic functional calculus Logic Abstract algebra Mathematics
136	FOUNDATIONS OF DENSITY-FUNCTIONAL THEORY J. Hafner ¨ Materialphysik and Center for Computational Material Institut fur Add to Reading List Source URL: cms.mpi.univie.ac.at Language: English - Date: 2003-03-27 07:20:28 Chemistry Atomic physics Kohn–Sham equations Calculus of variations Local-density approximation Wave function Thomas–Fermi model Computational chemistry Theoretical chemistry Physics Density functional theory Quantum mechanics
137	On Malliavin’s proof of H¨ormander’s theorem March 10, 2011 Martin Hairer Mathematics Department, University of Warwick Email: Add to Reading List Source URL: www.hairer.org Language: English - Date: 2011-03-10 06:31:00 Vectors Stochastic calculus Integral calculus Operator theory Functional analysis Malliavin calculus Frobenius theorem Vector bundle Heat equation Mathematical analysis Mathematics Algebra
138	Queue-based Multi-processing Lisp Richard P. Gabriel John McCarthy Stanford University Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2012-08-04 15:56:35 Lisp programming language Functional programming Functional languages Lambda calculus Lisp Subroutines Closure Eval Cons Software engineering Computing Computer programming
139	An Efficient Algorithm for Euclidian 2-Center with Outliers∗ Pankaj K. Agarwal† Jeff M. Phillips‡ Abstract Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2011-04-05 22:51:11 Factorial Number theory Randomized algorithm N-sphere XTR Holomorphic functional calculus Orbifold Mathematics Combinatorics Integer sequences

UPDATE